Type Oriented Programming
نویسندگان
چکیده
منابع مشابه
Demand-oriented timetable design for urban rail transit under stochastic demand
In the context of public transportation system, improving the service quality and robustness through minimizing the average passengers waiting time is a real challenge. This study provides robust stochastic programming models for train timetabling problem in urban rail transit systems. The objective is minimization of the weighted summation of the expected cost of passenger waiting time, its va...
متن کاملTowards Type Safety of Aspect-Oriented Languages
In this paper we describe our vision of supporting aspectoriented programming with interactive theorem proving in Coq. The goal is to construct a mechanized semantical basis that enables the analysis of type safety and other security properties. This basis consists of a featherweight aspectoriented language and a supporting framework for analysis. We identify features of aspect-oriented program...
متن کاملA Type System and Type Soundness for the Calculus of Aspect-Oriented Programming Languages
The formal study of class of functional and procedure-oriented programming languages is well-defined and uses λ-calculus as the main tool. With the advent of object calculi, the formal study of object-oriented programming languages is also well developed and understood. Since the paradigm of aspect-oriented programming is new, formal theory for the same is under development. The proposed untype...
متن کاملAspect-Oriented Design and Implementation of a Java Bytecode Analyzer Framework
We propose a new type of Java bytecode analyzer framework based on aspect-oriented design and programming. We also observe that aspect-oriented design and programming improve separation of concerns of many of the characteristics of the design, including extensibility, type safety, and execution efficiency of its design and implementation, when compared to existing analyzer frameworks based on o...
متن کاملDwarf Frankenstein is still in your memory: tiny code reuse attacks
Code reuse attacks such as return oriented programming and jump oriented programming are the most popular exploitation methods among attackers. A large number of practical and non-practical defenses are proposed that differ in their overhead, the source code requirement, detection rate and implementation dependencies. However, a usual aspect among these methods is consideration of the common be...
متن کاملEco: A Flexible, Open and Type-Safe Framework for Aspect-Oriented Programming
In this report, we present the Eco aspect-oriented framework for Java. Eco’s main goals are a flexible and open design and allowing static type-checking. Eco realizes its flexibility and openness by employing a pure and well-designed object-oriented approach. Static type-checking is realized by exploiting the novel Java generics feature. In this report, we evaluate Eco with respect to these goa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997